Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
241	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
242	Arrowsmith blog » Blog Archive » Pilgrimage to see Cleve Moler, inventor of MATLAB Add to Reading List Source URL: activetectonics.asu.edu Language: English - Date: 2011-07-03 10:56:11 Mathematical software Parallel computing Array programming languages Econometrics software Linear algebra MATLAB MathWorks Cleve Moler Moler Cleve Shuttle Radar Topography Mission
243	Microsoft Word - FE & Emis Opt - IEEE Journaldoc Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-04-25 13:15:15 Mathematical optimization Operations research Convex optimization Stochastic optimization Stochastic programming Control theory Duality Constraint Work Optimal control Linear programming Relaxation
244	A grammatical approach to mine detection Christopher Raphael Stuart Gemany March 25, 1997 Add to Reading List Source URL: music.informatics.indiana.edu Language: English - Date: 2001-04-23 22:49:34 Convex analysis Operations research Mathematical optimization Convex geometry Convex set Convex function Dynamic programming Algorithm ShapleyFolkman lemma Transportation theory
245	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group
246	Geometric Optimization Equinoctial School on Geometric Computing ETH Zurich, 15. { 26. SeptemberBernd Gartner Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2016-06-20 11:55:09 Mathematical optimization Operations research Linear programming Convex optimization Combinatorial optimization Simplex algorithm Feasible region Simplex Polytope Quadratic programming Constraint Bounding sphere
247	[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. * Add to Reading List Source URL: conal.net Language: English - Date: 2006-01-18 15:03:30 Operations research Classical mechanics Constraint satisfaction Energy minimization Mathematical optimization Derivative Control theory Constraint programming Constraint Generalizations of the derivative Loop quantum gravity Constraint logic programming
248	A DIRECT FORMULATION FOR SPARSE PCA USING SEMIDEFINITE PROGRAMMING∗ ALEXANDRE D’ASPREMONT† , LAURENT EL GHAOUI‡ , MICHAEL I. JORDAN§ , AND GERT R. G. LANCKRIET¶ Abstract. Given a covariance matrix, we consider Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:26 Mathematical optimization Matrix theory Multivariate statistics Linear programming Operations research Sparse PCA Semidefinite programming Principal component analysis Convex optimization Eigenvalues and eigenvectors Matrix Singular value decomposition
249	CS261: Exercise Set #4 For the week of January 25–29, 2016 Instructions: (1) Do not turn anything in. (2) The course staff is happy to discuss the solutions of these exercises with you in office hours or on Piazza. Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-02-01 16:25:33 Linear programming Convex optimization Operations research Mathematical optimization Combinatorial optimization Duality Weak duality Ellipsoid method Semidefinite programming
250	LECTURE SLIDES - DYNAMIC PROGRAMMING BASED ON LECTURES GIVEN AT THE MASSACHUSETTS INST. OF TECHNOLOGY CAMBRIDGE, MASS FALL 2012 DIMITRI P. BERTSEKAS Add to Reading List Source URL: athenasc.com Language: English - Date: 2014-01-04 21:11:12 Dimitri Bertsekas Greek people XK Mathematical optimization

UPDATE